bc8f2ee3639390165406f89854577bdb782c6334,python/src/com/jetbrains/python/debugger/array/JBTableWithRowHeaders.java,CustomTableHeader,CustomTableHeader,#JTable#,189

Before Change


    public CustomTableHeader(JTable table) {
      super();
      setColumnModel(table.getColumnModel());
      table.getColumnModel().getSelectionModel().addListSelectionListener(new ListSelectionListener() {
        @Override
        public void valueChanged(ListSelectionEvent e) {
          repaint();
        }
      });
    }

    @Override

After Change


    public CustomTableHeader(JTable table) {
      super();
      setColumnModel(table.getColumnModel());
      table.getColumnModel().getSelectionModel().addListSelectionListener(e -> repaint());
    }

    @Override